On $ABA$-groups of finite order

A Simple Classification of Finite Groups of Order p2q2

‎Suppose G is a group of order p^2q^2 where p>q are prime numbers and suppose P and Q are Sylow p-subgroups and Sylow q-subgroups of G, ‎respectively‎. ‎In this paper‎, ‎we show that up to isomorphism‎, ‎there are four groups of order p^2q^2 when Q and P are cyclic‎, ‎three groups when Q is a cyclic and P is an elementary ablian group‎, ‎p^2+3p/2+7 groups when Q is an elementary ablian group an...

Finite groups with $X$-quasipermutable subgroups of prime power order

Let $H$, $L$ and $X$ be subgroups of a finite group$G$. Then $H$ is said to be $X$-permutable with $L$ if for some$xin X$ we have $AL^{x}=L^{x}A$. We say that $H$ is emph{$X$-quasipermutable } (emph{$X_{S}$-quasipermutable}, respectively) in $G$ provided $G$ has a subgroup$B$ such that $G=N_{G}(H)B$ and $H$ $X$-permutes with $B$ and with all subgroups (with all Sylowsubgroups, respectively) $...

On Simple Groups of Finite Order. I

First-Order Queries on Finite Abelian Groups

We study the computational problem of checking whether a logical sentence is true in a finite abelian group. We prove that model checking first-order sentences on finite abelian groups is fixed-parameter tractable, when parameterized by the size of the sentence. We also prove that model checking monadic second-order sentences on finite abelian groups finitely presented by integer matrices is no...

ON THE CHARACTERISTIC DEGREE OF FINITE GROUPS

In this article we introduce and study the concept of characteristic degree of a subgroup in a finite group. We define the characteristic degree of a subgroup H in a finite group G as the ratio of the number of all pairs (h,α) ∈ H×Aut(G) such that h^α∈H, by the order of H × Aut(G), where Aut(G) is the automorphisms group of G. This quantity measures the probability that H can be characteristic ...